TestOptions {forCompilers = [(MAlonzo, CompilerOptions {extraAgdaArgs = []})], runtimeOptions = [], executeProg = False}
